Generalizations of a Classical Theorem in Number Theory

A classical theorem conjectured by Jacobi asserts that for an odd prime p, the sum of the quadratic residues in the interval (0, p) is less than the sum of the quadratic nonresidues if and only if p ■ 3 (mod 4). We generalize Jacobi's problem to fcth powers (mod p), k > 2, and we consider in some detail a generalization of Jacobi's conjecture to quadratic residues and nonresidues (mod n), n an arbitrary integer > 2. From the set of least positive residues (mod «), let Cq denote the subgroup of quadratic residues (mod n) and let cx, c2.ct be the cosets which can be formed with respect to this subgroup. Computer data supports the following generalized Jacobi conjecture: The sum of the elements in cn is less than or equal to the sum in any of the other cosets for every integer n > 2, a surprising conjecture, especially in view of the fact that counterexamples are easily obtained for k = 4, 6, 8, 10, etc. (The coset sums are identical for odd k and prime modulus.) We resolve the generalized Jacobi conjecture in the affirmative when, for example, n is an integer admitting a primitive root, or n = 2 , a > 3. (Here we give explicit formulae for the four coset sums.) For h = 2p , our proof that the quadratic residues and the quadratic nonresidues (mod n) have the same sum for odd prime p if and only if p ^ 3 (mod 8) is purely, elementary. On the other hand, we need Dirichlet's class number formula for quadratic number fields with discriminant -p = 5 (mod 8) to show that the sum of the quadratic nonresidues strictly exceeds the sum of the quadratic residues (mod 2pa) if p = 3 (mod 8). Computer data gives rise to a host of a. a, a interesting problems we are unable to resolve. For example, if n = 2pj p2 ■ ■ ■ pfr, I < i < r, we conjecture that a sufficient condition that the coset sums not be identical is that we have p¡ = 3 (mod 8) for every i. It is not hard to show that the coset sums are identical if every p¡ = 1 (mod 4). However, the problem of finding a necessary condition is very difficult since, e.g., the coset sums are not identical for n < 1146 when n=2-3-pifp = 23 (mod 24), but the sums are identical if p = 7 (mod 24).